For a finite group G and set of generators S of G a directed graph Cay(S:G) is defined as follows:
1. Each element of G is a vertex of Cay(S:G).
2. For each x and y in G, there is an arc from x to y if and only if xs = y for some s ∈ S .